structure S =
struct
  val f : 'a -> 'a
end
